  
  [1X3 [33X[0;0YFunctionality[133X[101X
  
  
  [1X3.1 [33X[0;0YMethods[133X[101X
  
  [33X[0;0YThis section will describe the methods of QuickCheck[133X
  
  [1X3.1-1 QC_MakeRandomArgument[101X
  
  [33X[1;0Y[29X[2XQC_MakeRandomArgument[102X( [3XObjectDescription[103X, [3XRandomSource[103X, [3Xlimit[103X ) [32X function[133X
  
  [33X[0;0YCreate  a  random  object  as described by [3XObjectDescription[103X of size at most
  [3Xlimit[103X  using  [3XRandomSource[103X.  How [3Xlimit[103X is interpreted will vary depending on
  the type of object.[133X
  
  [1X3.1-2 QC_Check[101X
  
  [33X[1;0Y[29X[2XQC_Check[102X( [3Xarguments[103X, [3Xfunction[103X[, [3Xconfig[103X] ) [32X function[133X
  
  [33X[0;0YRun tests on [3Xfunction[103X with arguments as described in [3Xarguments[103X.[133X
  
  [1X3.1-3 QC_CheckEqual[101X
  
  [33X[1;0Y[29X[2XQC_CheckEqual[102X( [3Xarguments[103X, [3XfunctionL[103X, [3XfunctionR[103X[, [3Xconfig[103X] ) [32X function[133X
  
  [33X[0;0YCheck  that,  given  the  same  list of arguments as described in [3Xarguments[103X,
  functionL and function return the same value.[133X
  
  [1X3.1-4 QC_LastFailure[101X
  
  [33X[1;0Y[29X[2XQC_LastFailure[102X( [3Xarg[103X ) [32X function[133X
  
  [33X[0;0YReturn the function called, and arguments given, last time a QuickCheck test
  failed.[133X
  
  [33X[0;0YReturns  a  record  containing  [3Xargs[103X (the arguments) and a function [10Xfunc[110X (if
  [10XQC_Check[110X  failed)  or  a  list of functions [10Xfuncs[110X (if [10XQC_CheckEqual[110X failed).
  Returns [9Xfalse[109X if no test has failed.[133X
  
  [1X3.1-5 QC_RerunLastFailure[101X
  
  [33X[1;0Y[29X[2XQC_RerunLastFailure[102X( [3Xarg[103X ) [32X function[133X
  
  [33X[0;0YRerun  the last test which failed. This is most useful if a test in a '.tst'
  file failed, as this will allow the test to enter the break loop.[133X
  
  [1X3.1-6 QC_SetConfig[101X
  
  [33X[1;0Y[29X[2XQC_SetConfig[102X( [3Xconfig[103X ) [32X function[133X
  
  [33X[0;0YSet  config  options for QuickCheck globally, by passing a record. It is not
  required to set all options.[133X
  
  [33X[0;0YCurrent options are:[133X
  
  [30X    [33X[0;6Y[10Xtests[110X: Number of tests to run[133X
  
  [30X    [33X[0;6Y[10Xlimit[110X: The size of the largest object to create[133X
  
  [30X    [33X[0;6Y[10Xseed[110X: Initial random seed[133X
  
  [1X3.1-7 QC_GetConfig[101X
  
  [33X[1;0Y[29X[2XQC_GetConfig[102X( [3Xarg[103X ) [32X function[133X
  
  [33X[0;0YGet the current global configuration for QuickCheck, as a record[133X
  
